Hybrid TS2 Type 1 Rack Mounted Cabinet Assembly Table of Contents DESIGN SPECIFICATION/REQUIREMENTS .......................................................................................................................

Source URL: www.safetran-traffic.com

• Server hardware
• Electrical wiring
• 19-inch rack
• Computer enclosure
• Shall and will
• Power supply
• AC power plugs and sockets
• D-subminiature
• Phone connector
• Computer monitor
• Electrical connector

Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering

Source URL: www.utc.ices.cmu.edu

• Unified Modeling Language
• Model-driven architecture
• Object Management Group
• Modeling language
• KeY
• Hybrid system
• Model checking
• Metamodeling
• Systems Modeling Language
• Object Process Methodology
• Formal verification
• Hybrid automaton

Helios: A Hybrid Electrical/Optical Switch Architecture for Modular Data Centers Nathan Farrington, George Porter, Sivasankar Radhakrishnan, Hamid Hajabdolali Bazzaz, Vikram Subramanya, Yeshaiahu Fainman, George Papen, a

Source URL: nathanfarrington.com

• Ethernet
• Computer networking
• Network protocols
• Local area networks
• Network switch
• Switch
• Packet switching
• Traffic flow
• Circuit switching
• Link aggregation
• Virtual LAN
• Throughput

Hybrid Insect-Inspired Multi-Robot Coverage in Complex Environments Bastian Broecker1 , Ipek Caliskanelli1 , Karl Tuyls1 , Elizabeth Sklar1,2 , and Daniel Hennes3 1 Department of Computer Science, University of Liverpool

Source URL: nms.kcl.ac.uk

• Emerging technologies
• Robotics
• Robot
• Swarm robotics
• Ant colony optimization algorithms

Large-Scale Hybrid Interlingual Translation in GF: a Project Description Aarne Ranta, Krasimir Angelov, Prasanth Kolachina, Inari Listenmaa Department of Computer Science and Engineering, University of Gothenburg Abstrac

Source URL: www2.lingfil.uu.se

• Machine translation
• Computational linguistics
• Syntax
• Cognitive science
• Rule-based machine translation
• Grammatical Framework
• Interlingua
• Dependency grammar
• Treebank
• Parsing
• Linguistics
• Grammar

Traffic Matrix Estimation for Low-loss Routing in Hybrid Networks by George Manning Porter Research Project Submitted to the Department of Electrical Engineering and Computer Sciences, University of California at Berkele

Source URL: sahara.cs.berkeley.edu

• Computer network security
• Network architecture
• Computer networking
• Crypto-anarchism
• Internet privacy
• Virtual private network
• Routing
• Traffic flow
• Computer network

Hybrid Classifiers for Object Classification with a Rich Background Margarita Osadchy, Daniel Keren, and Bella Fadida-Specktor Computer Science, University of Haifa, Carmel, Haifa 31905,Israel {rita,

Source URL: rita.osadchy.net

Exploring the structure of mental representations by implementing computer algorithms with people Adam N. Sanborn University of Warwick Thomas L. Griffiths

Source URL: cocosci.berkeley.edu

• Statistics
• Monte Carlo methods
• Statistical theory
• Probability
• Markov chain Monte Carlo
• Markov models
• Computational statistics
• Probability distribution
• MetropolisHastings algorithm
• Markov chain
• Normal distribution
• Hybrid Monte Carlo

Lydia B. Chilton Research Statement I build hybrid human-computer systems that combine the strengths of human and machine intelligence to solve problems that neither one could solve independently. People have innate prob

Source URL: hmslydia.com

• Theoretical computer science
• Computer programming
• Software engineering
• Operations research
• Mathematics
• Crowdsourcing
• Algorithm
• Human-based computation
• Mathematical optimization
• Humancomputer interaction
• Problem solving
• Recursion

Z-MAC: a Hybrid MAC for Wireless Sensor Networks Injong Rhee, Ajit Warrier, Mahesh Aia and Jeongki Min Dept. of Computer Science, North Carolina State University Raleigh, NCABSTRACT

Source URL: netsrv.csc.ncsu.edu